Solving x! = x^3 - x